((v7 v11 4) (v3 v5 0) (v6 v3 5) (v5 v10 4) (v6 v7 3) (v11 v10 9) (v7 v9 0) (v3 v1 8) (v11 v6 2) (v1 v5 3) (v12 v9 5) (v12 v3 5) (v1 v4 0) (v11 v12 7) (v1 v8 3) (v7 v4 7) (v9 v2 8) (v4 v5 0) (v10 v12 9) (v7 v1 1) (v12 v4 5) (v4 v8 6) (v9 v11 4) (v2 v12 4) (v8 v2 0) (v9 v4 5) (v8 v9 3) (v12 v5 2) (v4 v2 5) (v8 v5 4) (v11 v3 4) (v11 v4 6) (v11 v1 9) (v7 v3 5) (v7 v8 1))
109
()